A Hybrid Reasoning System with Diagrams and Sentences
نویسندگان
چکیده
Deduction by a computer studied so far has been centered around symbolic reasoning with formulas. Recently, attention has been directed to reasoning with diagrams as well, in order to augment the deficiency of reasoning with symbols only. In this paper, we propose a hybrid reasoning system with diagrams and sentences, called JVenn, having perspicuity of diagrams and strictness of symbols complementarily. JVenn is unique particularly in the points that it has the strategy for proving a chain of syllogisms, allows for an interplay between diagrams and symbols, and guides reasoning with the beauty measure for diagrams.
منابع مشابه
Comprehensive Decision Modeling of Reverse Logistics System: A Multi-criteria Decision Making Model by using Hybrid Evidential Reasoning Approach and TOPSIS (TECHNICAL NOTE)
In the last two decades, product recovery systems have received increasing attention due to several reasons such as new governmental regulations and economic advantages. One of the most important activities of these systems is to assign returned products to suitable reverse manufacturing alternatives. Uncertainty of returned products in terms of quantity, quality, and time complicates the decis...
متن کاملDiagrams as Physical Models to Assist in Reasoning
Diagrams serve a variety of roles in applied reasoning. At times, they are best viewed as “sentences” in a 2-D language, with specialized rules of inference that provide new diagrams. Other times, however, they are best understood as providing a physical model, much like an architectural model of a building or a 3-D molecular model of a chemical compound, for a state of affairs. In this paper, ...
متن کاملOn the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
Although logic diagrams are widely used as methods for introducing students to elementary logical reasoning, it is still open to debate in cognitive psychology whether diagrams can aid untrained people to successfully conduct deductive reasoning. In our previous work, some empirical evidence was provided for the effectiveness of a certain type of logic diagrams in the process of solving categor...
متن کاملDiagrams as Physical Models
We discuss a variety of roles for diagrams in helping with reasoning, focusing in particular on their role as physical models of states of affairs, much like an architectural model of a building or a 3-D molecular model of a chemical compound. We discuss the concept of a physical model for a logical sentence, and the role played by the causal structure of the physical medium in making the given...
متن کاملHeterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
We present an interactive heterogeneous theorem proving framework, which performs formal reasoning by arbitrarily mixing diagrammatic and sentential proof steps. We use Isabelle to enable formal reasoning with either traditional sentences or spider diagrams. We provide a mechanisation of the theory of abstract spider diagrams and establish a formal link between diagrammatic concepts and the exi...
متن کامل